es{-}causl(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$cless(es{-}E(${\it es}$);es{-}pred?(${\it es}$);es\_info(${\it es}$);$e$;${\it e'}$)